type ExcludeResult = Exclude<'a' | 'b' | 'c', 'a'> // 'b' | 'c'

type MyExclude<L, R> = L extends R ? never : L
